COCOVILA – Compiler-Compiler for Visual Languages
نویسندگان
چکیده
منابع مشابه
COCOVILA - Compiler-Compiler for Visual Languages
A compiler-compiler for visual languages is presented. It has been designed as a framework for building visual programming environments that translate schemas into textual representation as well as into programs representing the deep meaning of schemas. The deep semantics is implemented by applying attribute grammars to schema languages; attribute dependencies are implemented as methods of Java...
متن کاملCompiler Support for Extensible Languages
The use of a rigid general purpose language is, by an increasing part of the software engineering community, no longer considered to be the optimal solution. The requirements on a programming language are not static, but change over time and depend on the application domain in which the language is used. To address this, one can recognise two main approaches, i.e. application domain languages a...
متن کاملCompiler Correctness for Concurrent Languages
The goal of my thesis is to extend current methods for compiler derivation and veri cation to languages which exhibit true concurrency. The work has proceeded through the following steps. A process calculus, called CLAM, was de ned, based on the -calculus and modelling true concurrency. CLAM was used to de ne the semantics of a simple concurrent functional language, called Urlang, which was ins...
متن کاملCompiler-directed Type Reconstruction for Polymorphic Languages Compiler-directed Type Reconstruction for Polymorphic Languages
In tagless implementations of polymorphic languages, the run-time types of data objects may not be completely determined at compile-time. With ML-like static type-checking, a static type template can be produced for each polymorphic function that may be instantiated at run-time according to the types of its actual arguments. Still, as noted in 5], it may not be possible to reconstruct the types...
متن کاملTesting-Based Compiler Validation for Synchronous Languages
In this paper we present a novel lightweight approach to validate compilers for synchronous languages. Instead of verifying a compiler for all input programs or providing a fixed suite of regression tests, we extend the compiler to generate a test-suite with high behavioral coverage and geared towards discovery of faults for every compiled artifact. We have implemented and evaluated our approac...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Electronic Notes in Theoretical Computer Science
سال: 2005
ISSN: 1571-0661
DOI: 10.1016/j.entcs.2005.05.009